$\vdash$  $\forall$$T$:Type. ($T$ $\subseteq$r Top) $\Leftarrow\!\Rightarrow$ True